Admissible rule - PDFSEARCH.IO - Document Search Engine

Admissible rule
Results: 97

#	Item
21	From Primal Infon Logic with Individual Variables to Datalog Nikolaj Bjørner1 , Guido de Caso2 , and Yuri Gurevich1 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-26 16:39:48 Symbol Admissible rule Entailment Constructible universe Logic Deduction Propositional calculus
22	1 Polarised Intermediate Representation of Lambda Calculus with Sums Guillaume Munch-Maccagnoni Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 08:34:46 Natural deduction Lambda calculus Sequent calculus Admissible rule Calculus Sequent Entailment Judgment Curry–Howard correspondence Logic Mathematical logic Proof theory
23	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: www.ki.inf.tu-dresden.de Language: English - Date: 2005-09-20 10:33:36 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
24	Title: Bayesian vs. "Classical" Estimation in Practice (for IPS092) Author: Francisco J. Samaniego, Department of Statistics, University of California, Davis, 399 Crocker Lane, Davis, CA 95616, USA. E-mail: fjsamaniego@u Add to Reading List Source URL: www.statistics.gov.hk Language: English - Date: 2013-08-22 04:39:21 Bayesian statistics Statistical theory Interval estimation Frequentist inference Bayes estimator Point estimation Prior probability Admissible decision rule Statistics Statistical inference Estimation theory
25	Lightweight Monadic Programming in ML Nikhil Swamy⋆ ⋆ Nataliya Guts† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-06-30 10:53:02 Mathematics Computer programming Type theory Monad Admissible rule Type class Valuation Denotational semantics Adjoint functors Functional programming Software engineering
26	Simple Unification-based Type Inference for GADTs Simon Peyton Jones Dimitrios Vytiniotis Stephanie Weirich Geoffrey Washburn Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:06 Software engineering Unification Type system Admissible rule Type inference Symbol Hindley–Milner Entailment Function Type theory Logic Mathematics
27	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Bury1 , David Delahaye1 , Damien Doligez2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-03-03 08:27:10 Symbol Admissible rule Proof theory First-order logic Entailment Constructible universe Curry–Howard correspondence Orbifold Logic Mathematical logic Deduction
28	Efficient Rule-Matching for Automated Coherent Logic Bjarne Holen, Dag Hovland , and Martin Giese, Department of Informatics, University of Oslo, Norway Abstract Coherent logic is a syntactically defined fragment of firs Add to Reading List Source URL: www.nik.no Language: English - Date: 2013-01-14 07:43:26 Automated theorem proving Rules of inference Logic programming Predicate logic Rete algorithm First-order logic Resolution Production system Admissible rule Logic Mathematics Mathematical logic
29	Commonwealth Records in Evidence 2012 revision RkS Add to Reading List Source URL: www.aa.gov.au Language: English - Date: 2015-03-26 18:55:50 Hearsay Best evidence rule Rules of evidence Business record Admissible evidence Exclusionary rule Hearsay in English law Hearsay in United States law Law Evidence law Evidence
30	Combining generic judgments with recursive definitions Andrew Gacek Department of CS&E University of Minnesota Dale Miller Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:04 Model theory Proof theory Metalogic Automated theorem proving Deduction Admissible rule Entailment Symbol Sequent calculus Logic Mathematics Mathematical logic